Capsicum: practical capabilities for UNIX Robert N. M. Watson University of Cambridge Jonathan Anderson University of Cambridge

Source URL: www.usenix.org

Climate change, wine, and conservation Lee Hannaha,b,1, Patrick R. Roehrdanzb, Makihiko Ikegamib, Anderson V. Shepardb,2, M. Rebecca Shawc, Gary Tabord, Lu Zhie, Pablo A. Marquetf,g,h,i, and Robert J. Hijmansj a The Bett

Source URL: www.pnas.org

• Vines
• Food and drink
• Climate categories in viticulture
• Vineyard
• Irrigation in viticulture
• Vine training
• Vitis vinifera
• California wine
• Washington wine
• Wine
• Viticulture
• Agriculture

2013 IEEE Symposium on Security and Privacy Declarative, Temporal, and Practical Programming with Capabilities William R. Harris∗ , Somesh Jha∗ , Thomas Reps∗† , Jonathan Anderson‡ , and Robert N. M. Watson‡

Source URL: ieee-security.org

• Text mode
• Wget
• Capability-based security
• Capsicum
• Process
• Programming language
• Computer program
• Computer security
• Algorithm
• Software
• Computing
• Portable software

Harold M. Agnew 1921–2013 A Biographical Memoir by Richard L. Garwin

Source URL: www.nasonline.org

• Manhattan Project
• Code names
• Nobel laureates in Physics
• Atomic bombings of Hiroshima and Nagasaki
• Harold Agnew
• Nuclear weapon design
• J. Robert Oppenheimer
• Nuclear fission
• Herbert L. Anderson
• Physics
• Science
• Nuclear physics

Stayin’ Alive: Aliveness as an alternative to authentication Jonathan Anderson and Robert N M Watson University of Cambridge Computer Laboratory {jonathan.anderson,robert.watson}@cl.cam.ac.uk

Source URL: www.cl.cam.ac.uk

• Computer security
• Kerberos
• Authentication server
• Ticket Granting Ticket
• Challenge-response authentication
• Authentication
• Password
• CAPTCHA
• Key distribution center
• Computer network security
• Computing
• Cryptography

Climate change, wine, and conservation Lee Hannaha,b,1, Patrick R. Roehrdanzb, Makihiko Ikegamib, Anderson V. Shepardb,2, M. Rebecca Shawc, Gary Tabord, Lu Zhie, Pablo A. Marquetf,g,h,i, and Robert J. Hijmansj a The Bett

Source URL: www.conservation.org

• Atmospheric sciences
• Vines
• Global warming
• Climate
• Climate categories in viticulture
• Winkler scale
• Effects of global warming
• Irrigation in viticulture
• Vine training
• Wine
• Viticulture
• Agriculture

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization Robert N. M. Watson∗ , Jonathan Woodruff∗ , Peter G. Neumann† , Simon W. Moore∗ , Jonathan Anderson‡ , David Chisnall∗

Source URL: www.cl.cam.ac.uk

• Real-time operating systems
• Memory management
• Access control
• Capability-based security
• Memory protection
• Kernel
• EROS
• Object-capability model
• Memory management unit
• Computing
• Computer architecture
• System software

TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks Davis

Source URL: www.cl.cam.ac.uk

• Hardware verification languages
• Assertion
• Debugging
• Logic in computer science
• Tesla Roadster
• Clang
• Rust
• C
• E
• Software engineering
• Computing
• Computer programming

Stayin’ Alive: Aliveness as an alternative to authentication Jonathan Anderson and Robert N M Watson University of Cambridge Computer Laboratory {jonathan.anderson,robert.watson}@cl.cam.ac.uk

Source URL: www.cl.cam.ac.uk

• Computer security
• Kerberos
• Authentication server
• Ticket Granting Ticket
• Challenge-response authentication
• Authentication
• Password
• CAPTCHA
• Key distribution center
• Computer network security
• Computing
• Cryptography

The CHERI capability model: Revisiting RISC in an age of risk Jonathan Woodruff† Robert N. M. Watson† David Chisnall† Simon W. Moore† Jonathan Anderson† Brooks Davis‡ Ben Laurie§ Peter G. Neumann‡ Robert N

Source URL: www.cl.cam.ac.uk

• Computer memory
• Virtual memory
• Central processing unit
• Instruction set architectures
• Memory management
• Pointer
• Memory management unit
• MIPS architecture
• Memory protection
• Computer architecture
• Computing
• Computer hardware